constraint satisfaction problem example